TSTP Solution File: SEV154^5 by Nitpick---2016